Automated proof checking - PDFSEARCH.IO - Document Search Engine

Automated proof checking
Results: 27

#	Item
21	STUDIES IN LOGIC, GRAMMAR AND RHETORIC[removed]Gradual Computerisation/Formalisation of Add to Reading List Source URL: mizar.org Language: English - Date: 2010-03-05 21:10:35 Automated proof checking Theoretical computer science Applied mathematics Mizar and Alcor Mizar Mathematics Proof theory Tarski–Grothendieck set theory Correctness Mizar system Formal methods Ursa Major constellation
22	Automatic Guidance for the Formal Verification of High Integrity Ada Final Report of EPSRC Grant GR/R24081 Andrew Ireland Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2005-02-04 10:21:20 Automated theorem proving Formal methods Logic in computer science Proof theory SPARK Automated proof checking Formal verification Mathematical proof Automated reasoning Theoretical computer science Mathematics Applied mathematics
23	PDF Document Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:28 Applied mathematics Logic in computer science Dependently typed programming Type theory Automated theorem proving Proof-carrying code Formal verification Automated proof checking Frank Pfenning Formal methods Theoretical computer science Mathematics
24	PDF Document Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2004-01-15 09:13:15 Logic in computer science Formal methods Automated theorem proving Mizar system Proof assistant Automated proof checking Mizar and Alcor Mathematical proof Isabelle Theoretical computer science Mathematical logic Mathematics
25	PDF Document Add to Reading List Source URL: us.metamath.org Language: English - Date: 2013-09-22 22:46:06 Formal methods Logical syntax Formal languages Metamath Set theory Automated proof checking Axiom Automated theorem proving First-order logic Logic Mathematics Mathematical logic
26	PDF Document Add to Reading List Source URL: mizar.org Language: English - Date: 2007-04-17 17:02:53 Mathematical logic Knowledge Mizar system QED manifesto Proof assistant Mathematical proof Automated proof checking Andrzej Trybulec Constructivism Logic Mathematics Formal methods
27	PDF Document Add to Reading List Source URL: kortenkamps.net Language: English - Date: 2005-08-30 06:55:14 Analytic geometry Conic sections Euclid Automated proof checking Circle Geometry Algebraic geometry Cinderella